//! args: 0x1

script {
fun main(_x: u64) {}
}
